201. Handbook of Logic and Proof Techniques for Computer Science
المؤلف: by Steven G. Krantz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
202. Handbook of geometric constraint systems principles /
المؤلف: [edited by] Meera Sitharam, Audrey St. John, Jessica Sidman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Geometry, Algebraic.,Geometry.,Rigidity (Geometry),Structural design-- Mathematics.,Geometry, Algebraic.,Geometry.,MATHEMATICS-- Geometry-- General.,Rigidity (Geometry)
رده :
QA640
.
77
.
H36
2019eb
203. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
المؤلف: Louise Gerdes, book editor.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
204. 20090601 ,Includes bibliographical references and index. 0
المؤلف: 20090602 ,20090602 0
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
205. Includes bibliographical references (p. 49-51). 0,B
المؤلف: Zeren Tanındı. ,/ Katie Normington.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
206. Includes bibliographical references (p. 375) and index. 0
المؤلف: Brian M. Fagan.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
207. Includes bibliographical references (p. 225-231) and index. 0
المؤلف: Andrew Green.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
208. Information systems and computing technology :
المؤلف: editors, Lei Zhang, Yonggen Gu.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA75
.
5
.
I533
2013eb
209. Intelligent integrated energy systems :
المؤلف: Peter Palensky, Miloš Cvetković, Tamás Keviczky, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electric power systems-- Research.,Electric power systems-- Technological innovations.,Smart power grids.,3D graphics & modelling.,Cybernetics & systems theory.,Dynamics & vibration.,Electric power systems-- Research.,Electric power systems-- Technological innovations.,Energy technology & engineering.,Power networks, systems, stations & plants.,Smart power grids.,TECHNOLOGY & ENGINEERING-- Power Resources-- Electrical.
رده :
TK1001
.
I58
2019eb
210. Introducing TPCK / Matthew J. Koehler and Punya Mishra -- Bridging digital and cultural divides: TPCK for equity of access to technology / Mario Antonio Kelly -- TPCK in K-6 literacy education: it's not that elemen
المؤلف: edited by AACTE Committee on Innovation and Technology.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
211. Introduction to Cryptography
المؤلف: by Johannes A. Buchmann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science).,Mathematics.,Number theory.
212. Introduction to neural and cognitive modeling /
المؤلف: Daniel S. Levine.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Neural networks (Computer science),Neural networks (Neurobiology),Neural networks (Computer science),Neural networks (Neurobiology),PSYCHOLOGY-- Cognitive Psychology.
رده :
QA76
.
87
213. Introduction to the finite-difference time-domain (FDTD) method for electromagnetic
المؤلف: / Stephen D. Gedney
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Electromagnetism, Mathematics,Finite differences,Maxwell equations, Numerical solutions,FDTD,Finite-difference time-domain,FDTD software,Electromagnetics,Electrodynamics,Computational Electromagnetics,Maxwell Equations,Transmission line equations,Perfectly Matched Layer,PML,Antennas,RF and microwave engineering
رده :
E-BOOK
214. Introduction to the finite-difference time-domain (FDTD) method for electromagnetic
المؤلف: Stephen D. Gedney
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Electromagnetism, Mathematics,Finite differences,Maxwell equations, Numerical solutions,FDTD,Finite-difference time-domain,FDTD software,Electromagnetics,Electrodynamics,Computational Electromagnetics,Maxwell Equations,Transmission line equations,Perfectly Matched Layer,PML,Antennas,RF and microwave engineering
رده :
QC
،
760
.
4
،.
M37
,
G435
،
2011
215. Introduction to the theory of error-correcting codes /
المؤلف: Vera Pless
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Error-correcting codes (Information theory)
رده :
QA268
.
P55
1998
216. Large covariance and autocovariance matrices /
المؤلف: Arup Bose, Monika Bhattacharjee.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Analysis of covariance.,Matrices.,Analysis of covariance.,MATHEMATICS / Algebra / Intermediate,Matrices.
رده :
QA188
.
B6735
2018eb
217. Lattices and Ordered Algebraic Structures
المؤلف: by T.S. Blyth.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.
218. Learning from Computers:
المؤلف: edited by Christine Keitel, Kenneth Ruthven.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Physics.
رده :
QA20
.
C65
E358
1993
219. Lessons in scientific computing :
المؤلف: by Norbert Schorghofer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Numerical analysis-- Data processing.,Science-- Mathematics-- Data processing.,Numerical analysis-- Data processing.,SCIENCE / General,Science-- Mathematics-- Data processing.
رده :
Q183
.
9
.
S236
2019
220. Lie group machine learning /
المؤلف: Li Fanzhang, Zhang Li, Zhang Zhao.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lie groups.,Machine learning.,COMPUTERS-- General.,Lie groups.,Machine learning.
رده :
Q325
.
5
.
L52
2018e
